61. Building models by games
المؤلف: Hodges, Wilfrid.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Model theory,، Game theory
رده :
QA
9
.
7
.
H63
1985
62. Categoricity /
المؤلف: John T. Baldwin
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Completeness theorem,Model theory
رده :
QA9
.
67
.
B35
2009
63. Categoricity
المؤلف: Baldwin, John T.
المکتبة: (طهران)
موضوع: ، Completeness theorem,، Model theory
رده :
QA
9
.
67
.
B25C3
64. Classification theory
المؤلف: / J.T. Baldwin (ed.)
المکتبة: (طهران)
موضوع: Model theory -- Congresses
رده :
QA
9
.
7
.
U8
1985
65. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
المؤلف: J.T. Badwin )ed.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
66. Classification theory and the number of non-isomorphic models
المؤلف: Shelah, Saharon.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
S53
1990
67. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
المؤلف: U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
68. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
المؤلف: J. T. Baldwin )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
69. Combinatorial Set Theory
المؤلف: \ Lorenz J. Halbeisen
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
70. Combinatorial set theory
المؤلف: Lorenz J. Halbeisen
المکتبة: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
71. Combinatorial set theory
المؤلف: Lorenz J. Halbeisen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
72. Combinatorial set theory
المؤلف: / Lorenz J. Halbeisen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial set theory.,Forcing (Model theory)
رده :
QA
,
248
,.
H238
,
2012
73. Combinatorial set theory
المؤلف: / Lorenz J. Halbeisen
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
74. Combinatorial set theory: with a gentle introduction to forcing
المؤلف: Halbeisen, Lorenz J.
المکتبة: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
75. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
76. Combinatorial set theory : with a gentle introduction to forcing
المؤلف: Halbeisen, Lorenz J.
المکتبة: (طهران)
موضوع: ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
77. Complete theories
المؤلف: / Abraham Robinson
المکتبة: (طهران)
موضوع: Model theory,Algebraic fields
رده :
QA
9
.
7
.
R6
1977
78. Complete theories
المؤلف: / Abraham Robinson
المکتبة: (طهران)
موضوع: Model theory,Algebraic fields
رده :
QA
9
.
7
.
R6
79. Complete theories
المؤلف: Robinson, Abraham
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Model theory,، Fields, Algebraic
رده :
QA
9
.
7
.
R6
1977
80. Constructible sets with applications
المؤلف: / A. Mostowski
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Axiomatic set theory,Model theory
رده :
512
.
817
Mo-C
